fun (a, b) -> ()